val raise : unit -> 'a
